home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / dtm / test31.gl < prev    next >
Text File  |  1991-06-18  |  345b  |  24 lines
  1. Basetype E;
  2.  
  3. Atom
  4.    tff :- E & E => E,
  5.    one :- <> => E,
  6.    not :- E => E;
  7.  
  8. Def
  9.    div2 :- E => E;
  10.    div2 ck = tff [ck, one[]];
  11.  
  12. Mac
  13.    chainctr :- Int -: n -> E => E^n;
  14.    chainctr 1 ck = [div2 ck];
  15.    chainctr n ck = q:Q
  16.       where
  17.     Q = chainctr (n-1) q;
  18.     q = div2 ck;
  19.       endwhere;
  20.  
  21. Def
  22.    ctr4 :- E => E^4;
  23.    ctr4 ck = chainctr 4 ck;
  24.